#!/bin/sh

#kill all running index servers
for i in $(ps -e | grep server_index | grep -oE "^\s*[0-9]+")
do
    kill -9 $i
done


